Search Results for "PLUG: Emacs for Note-taking - Benjamin Dunstan, October 2023"

PLUG: Emacs for Note-taking - Benjamin Dunstan, October 2023

Org-mode - Keep your notes handy

Talking Tactics in LeanProver vs Understanding Proofs in Agda with Conal Elliott